#!/bin/sh

function cmd_exc()
{
	$*
	if [ $? -ne 0 ]
	then 
		echo "Error:: cmd $* failed" > /dev/stderr
		exit -1
	fi
}

